Storeless semantics and alias logic
نویسندگان
چکیده
منابع مشابه
Inquisitive Semantics and Logic
Acknowledgments I am truly grateful to my two advisers, Jeroen Groenendijk and Dick de Jongh, without whom (needless to say, though I'll say it anyway) this thesis wouldn't have existed. I was fortunate enough to meet Jeroen early on in my days at the ILLC and to have established such a fruitful collaboration; Jeroen is an inspiring teacher and an inspired researcher, and the inquisitive progra...
متن کاملLogic and Semantics for Imperatives
In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantic...
متن کاملFlow Logic and Operational Semantics
Flow logic is a \fast prototyping" approach to program analysis that shows great promise of being able to deal with a wide variety of languages and calculi for computation. However, seemingly innocent choices in the ow logic as well as in the operational semantics may inhibit proving the analysis correct. Our main conclusion is that environment based semantics is more exible than either substit...
متن کاملAbelard: Logic, Semantics and Ontology
"Abelard composed four works on logic: (1) Introductiones Parvulorum, which consists of short glosses on Porphyry Eisagoge and Aristotle Categories and De Interpretatione; (2) Logica Ingredientibus (so called because ingredientibus is the first word of its text), which consists of longer glosses on the texts covered by the previous work together with Boethius' De Differentiis Topicis and was pr...
متن کاملSemantics, modularity, and rewriting logic
A complete formal semantic description of a practical programming language (such as Java) is likely to be a lengthy document, regardless of which semantic framework is being used. Good modularity of the description is important to the person(s) developing it, to facilitate reuse, change, and extension. Unfortunately, the conventional versions of the major semantic frameworks have rather poor mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2003
ISSN: 0362-1340,1558-1160
DOI: 10.1145/966049.777395